An Extended Theory of Primitive Objects: FIrst Order System
نویسنده
چکیده
We investigate a rst-order extension of the Theory of Primitive Objects of 5] that supports method extension in presence of object subsumption. Extension is the ability of modifying the behavior of an object by adding new methods (and inheriting the existing ones). Object subsumption allows to use objects with a bigger interface in a context expecting another object with a smaller interface. This extended calculus has a sound type system which allows static detection of run-time errors such as message-not-understood, \width" subtyping and a typed equational theory on objects. Moreover, it can express classes and class-inheritance. Categories: Type systems, design and semantics of object-oriented languages .
منابع مشابه
A Theory of Primitive Objects - Scond-Order Systems
We describe a second-order calculus of objects. The calculus supports object subsumption, method override, and the type Self. It is constructed as an extension of System F with subtyping, recursion, and first-order object types.
متن کاملA Theory of Primitive Objects Second-Order Systems
We describe a second-order calculus of objects. The calculus supports object subsumption, method override, and the type Self. It is constructed as an extension of System F with subtyping, recursion, and first-order object types.
متن کاملFrom torsion theories to closure operators and factorization systems
Torsion theories are here extended to categories equipped with an ideal of 'null morphisms', or equivalently a full subcategory of 'null objects'. Instances of this extension include closure operators viewed as generalised torsion theories in a 'category of pairs', and factorization systems viewed as torsion theories in a category of morphisms. The first point has essentially been treated in [15].
متن کاملFree Vibration and Buckling Analysis of Sandwich Panels with Flexible Cores Using an Improved Higher Order Theory
In this paper, the behavior of free vibrations and buckling of the sandwich panel with a flexible core was investigated using a new improved high-order sandwich panel theory. In this theory, equations of motion were formulated based on shear stresses in the core. First-order shear deformation theory was applied for the procedures. In this theory, for the first time, incompatibility problem of...
متن کاملCooperative Control of Multiple Quadrotors for Transporting a Common Payload
This paper investigates the problem of controlling a team of Quadrotors that cooperatively transport a common payload. The main contribution of this study is to propose a cooperative control algorithm based on a decentralized algorithm. This strategy is comprised of two main steps: the first one is calculating the basic control vectors for each Quadrotor using Moore–Penrose theory aiming at coo...
متن کامل